On Parameterized Exponential Time Complexity
نویسندگان
چکیده
In this paper we study the notion of parameterized exponential time complexity. We show that a parameterized problem can be solved in parameterized 2o(f (k))p(n) time if and only if it is solvable in time O(2δf (k)q(n)) for any constant δ > 0, where p and q are polynomials. We then illustrate how this equivalence can be used to show that special instances of parameterized NP-hard problems are as difficult as the general instances. For example, we show that the Planar Dominating Set problem on degree-3 graphs can be solved in 2o( √ k)p(n) parameterized time if and only if the general Planar Dominating Set problem can. Apart from their complexity theoretic implications, our results have some interesting algorithmic implications as well. © 2009 Elsevier B.V. All rights reserved.
منابع مشابه
A note on parameterized exponential time complexity
In this paper we define the notion of an f(k)-uniform parameterized exponential time scheme. We show that a problem can be solved in parameterized O(2p(n)) time if and only if it has an f(k)-uniform parameterized exponential time scheme (p is a polynomial). We then illustrate how our formulation can be used to show that special instances of parameterized NPhard problems are as difficult as the ...
متن کاملLower Bounds Based on the Exponential Time Hypothesis: Edge Clique Cover
In this article we survey algorithmic lower bound results that have been obtained in the field of exact exponential time algorithms and parameterized complexity under certain assumptions on the running time of algorithms solving CNF-Sat, namely Exponential time hypothesis (ETH) and Strong Exponential time hypothesis (SETH).
متن کاملA tight lower bound for Vertex Planarization on graphs of bounded treewidth
In the Vertex Planarization problem one asks to delete the minimum possible number of vertices from an input graph to obtain a planar graph. The parameterized complexity of this problem, parameterized by the solution size (the number of deleted vertices) has recently attracted significant attention. The state-of-the-art algorithm of Jansen, Lokshtanov, and Saurabh [SODA 2014] runs in time 2O(k ...
متن کاملSome Prospects for Efficient Fixed Parameter Algorithms
Recent time has seen quite some progress in the development of exponential time algorithms for NP-hard problems, where the base of the exponential term is fairly small. These developments are also tightly related to the theory of xed parameter tractability. In this incomplete survey, we explain some basic techniques in the design of eecient xed parameter algorithms, discuss deeciencies of param...
متن کاملIntersection Non-Emptiness for Tree Shaped Finite Automata
In recent work on the Clique problem by Chen, Huang, Kanj, and Xia (2006) it was shown that if k-Clique is solvable in no(k) time, then the exponential time hypothesis is false. In this work, we focus on a related parameterized problem called intersection non-emptiness. We show that if intersection non-emptiness for two tree shaped DFA’s is solvable in O(n2− ) time, then the strong exponential ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 410 شماره
صفحات -
تاریخ انتشار 2009